perm filename OLDHDR.XGP[TEX,DEK] blob sn#400190 filedate 1978-12-01 generic text, type T, neo UTF8
/LMAR=50/TMAR=50/RMAR=4095/BMAR=1/PMAR=0/XLINE=0/FONT#0=NGR13/USETI=0000028*TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX*

␈βαS␈↓ ↓H␈ε_Nonlinear␈α⊃Ergodic␈α⊃Theorems␈↓ ↓I␈ε_Nonlinear␈α⊃Ergodic␈α⊃Theorems
␈βαT␈↓ ↓H␈ε_Nonlinear␈α⊃Ergodic␈α⊃Theorems␈↓ ↓I␈ε_Nonlinear␈α⊃Ergodic␈α⊃Theorems
␈ββ:␈↓ ↓H␈ε∧by␈α⊃H.␈α⊃Br␈↓ αP␈ε∧'␈↓ αP␈ε∧ezis␈α⊃and␈α⊃F.␈α⊃E.␈α⊃Browder
␈β∧ ␈↓ ↓H␈ε∧Department␈α⊃of␈α⊃Mathematics,␈α⊃University␈α⊃of␈α⊃Chicago,␈α⊃Chicago,␈α⊃Illinois␈α⊃60637
␈β¬ε␈↓ ↓H␈ε∧Communicated␈α⊃by␈α⊃Alexandra␈α⊃Bellow
␈β¬[␈↓ ↓H␈ε∧Received␈α⊃May␈α⊃17,␈α⊃1976
␈βε0␈↓ ↓H␈ε∧Keywords:␈α⊃ergodic␈α⊃theory,␈α⊃nonlinear␈α⊃mappings,␈α⊃averaging␈α⊃processes
␈βπ¬␈↓ ↓H␈ε∧AMS␈α⊃(MOS)␈α⊃subject␈α⊃classifications␈α⊃(1970):␈α⊃Primary␈α⊃47A35,␈α⊃47H10;␈α⊃Secondary␈α⊃40G05
␈βπj␈↓ α≥␈ε∧Abstract:␈↓ α≡␈ε∧Abstract:␈↓ εN␈ε∧1␈↓ εO␈ε∧1␈↓ π#␈ε∧2␈↓ π$␈ε∧2
␈βπk␈↓ α≥␈ε∧Abstract:␈α"In␈α⊃two␈α⊃recent␈α⊃notes␈α⊃(␈ε_(␈↓ α≡␈ε∧Abstract:␈↓ εN␈ε∧1␈ε_)␈ε∧,␈ε_␈α⊃(␈↓ εO␈ε∧1␈↓ π#␈ε∧2␈ε_)␈ε∧),␈α⊃J-B.␈α⊃Baillon␈α⊃proved␈α⊃the␈α⊃first␈↓ π$␈ε∧2
␈βλ≡␈↓ α≥␈ε∧ergodic␈α⊃theorems␈α⊃for␈α⊃nonlinear␈α⊃mappings␈α⊃in␈α⊃Hilbert␈α⊃space.␈α"We␈α⊃simplify
␈βλQ␈↓ α≥␈ε∧the␈α⊃argument␈α⊃here␈α⊃and␈α⊃obtain␈α⊃an␈α⊃extension␈α⊃of␈α⊃Baillon's␈α⊃theorems␈α⊃from
␈β	∧␈↓ α≥␈ε∧the␈α⊃usual␈α⊃Ces␈↓ βz␈ε∧'␈↓ βz␈ε∧aro␈α⊃means␈α⊃of␈α⊃ergodic␈α⊃theory␈α⊃to␈α⊃general␈α⊃averaging␈α⊃processes
␈β	&␈↓ βX␈ε∧00␈↓ ∧q␈ε∧k
␈β	7␈↓ α.␈ε∧A␈↓ αa␈ε∧=␈↓ ββ␈ε∧"sum"␈↓ ∧≤␈ε∧a␈↓ ∧`␈ε∧T␈↓ ¬$␈ε∧(␈α⊃0␈ε_␈α⊃<␈↓ ε
␈ε∧a␈↓ ε←␈ε∧,␈↓ π#␈ε∧"sum"␈↓ λ<␈ε∧a␈↓ 	⊃␈ε∧=␈α⊃1␈α⊃).
␈β	H␈↓ α?␈ε∧n␈↓ ∧-␈ε∧n,k␈↓ ε≠␈ε∧n,k␈↓ πx␈ε∧k␈ε_>␈ε∧0␈↓ λM␈ε∧n,k
␈β	I␈↓ βX␈ε∧k=0
␈β
>␈↓ ↓H␈ε∧Theorem␈α⊃1.␈↓ ↓I␈ε∧Theorem␈α⊃1.
␈β
?␈↓ ↓H␈ε∧Theorem␈α⊃1.␈ε_␈α"Let␈ε∧␈α"H␈ε_␈α"be␈α⊃a␈α⊃Hilbert␈α⊃space,␈ε∧␈α3C␈ε_␈α"a␈α⊃closed␈α⊃bounded␈α⊃convex␈α⊃subset␈α⊃of␈↓ ↓I␈ε∧Theorem␈α⊃1.
␈ββ␈↓ ↓Y␈ε∧H␈ε_␈α⊃,␈ε∧␈α3T␈ε_␈α"a␈α⊃nonexpansive␈α⊃self␈α⊃map␈α⊃of␈ε∧␈α"C␈ε_␈α⊃.␈α"Suppose␈α⊃that␈α⊃as␈ε∧␈α"n␈↓ 	f␈ε∧->␈↓ 
→␈ε∧00␈↓ 
L␈ε_,␈↓ ⊂␈ε∧a␈↓ e␈ε∧->␈↓ _␈ε∧0
␈β∀␈↓ !␈ε∧n,k
␈β6␈↓ ε≠␈ε∧00
␈β7␈↓ λM␈ε∧+
␈βH␈↓ ↓H␈ε_for␈α⊃each␈ε∧␈α"k␈ε_␈α⊃,␈α⊃and␈↓ ∧␈ε∧"gamma"␈↓ ¬$␈ε∧=␈↓ ¬F␈ε∧"sum"␈↓ εN␈ε∧(␈↓ ε←␈ε∧a␈↓ πV␈ε∧-␈↓ πx␈ε∧a␈↓ λ<␈ε∧)␈↓ λo␈ε∧->␈↓ 	"␈ε∧0␈ε_␈α⊃.␈α"Then␈α⊃for␈α⊃each␈ε∧␈α"x
␈βY␈↓ ¬α␈ε∧n␈↓ εp␈ε∧n,k+1␈↓ λ	␈ε∧n,k
␈βZ␈↓ ε≠␈ε∧k=0
␈β|␈↓ ∧-␈ε∧00
␈β⎇␈↓ ¬F␈ε∧k
␈β∞␈↓ ↓H␈ε_in␈ε∧␈α"C␈ε_␈α⊃,␈↓ αr␈ε∧A␈↓ β∀␈ε∧x␈α⊃=␈↓ βX␈ε∧"sum"␈↓ ∧q␈ε∧a␈↓ ¬5␈ε∧T␈↓ ¬W␈ε∧x␈ε_␈α"converges␈α⊃weakly␈α⊃to␈α⊃a␈α⊃fixed␈α⊃point␈α⊃of␈ε∧␈α"T␈ε_␈α⊃.
␈β∨␈↓ ββ␈ε∧n␈↓ ∧-␈ε∧k=0␈↓ ¬α␈ε∧n,k
␈βs␈↓ ⊂␈ε∧3␈↓ ⊃␈ε∧3
␈βt␈↓ α≥␈ε∧The␈α⊃proof␈α⊃of␈α⊃Theorem␈α⊃1␈α⊃depends␈α⊃upon␈α⊃an␈α⊃extension␈α⊃of␈α⊃Opial's␈α⊃lemma␈ε_␈α⊃(␈↓ ⊂␈ε∧3␈ε_)␈ε∧.␈↓ ⊃␈ε∧3
␈β
Y␈↓ ↓H␈ε∧Lemma␈α⊃1.␈↓ ↓I␈ε∧Lemma␈α⊃1.
␈β
Z␈↓ ↓H␈ε∧Lemma␈α⊃1.␈ε_␈α"Let␈ε∧␈α"{␈↓ ↓I␈ε∧Lemma␈α⊃1.␈↓ βX␈ε∧x␈↓ βz␈ε∧}␈ε_␈α"and␈ε∧␈α"{␈↓ ¬∪␈ε∧y␈↓ ¬5␈ε∧}␈ε_␈α"be␈α⊃two␈α⊃sequences␈α⊃in␈ε∧␈α"H␈ε_␈α⊃,␈ε∧␈α3F␈ε_␈α"a␈α⊃nonempty␈α⊃subset␈α⊃of
␈β
k␈↓ βi␈ε∧k␈↓ ¬$␈ε∧k
␈β∂<␈↓ εj␈ε∧-1-
␈β⊃ 

␈β↓M␈↓ ↓H␈ε∧Br␈↓ ↓j␈ε∧'␈↓ ↓j␈ε∧ezis␈α⊃and␈α⊃Browder:␈α⊃Nonlinear␈α⊃ergodic␈α⊃theorems
␈βαS␈↓ ↓Y␈ε∧H␈ε_␈α⊃,␈↓ α?␈ε∧C␈↓ ββ␈ε_the␈α⊃convex␈α⊃closure␈α⊃of␈↓ ε
␈ε∧"union"␈↓ π4␈ε∧{␈↓ πE␈ε∧x␈↓ πg␈ε∧}␈ε_␈α⊃.␈α"Suppose␈α⊃that
␈βαd␈↓ αP␈ε∧m␈↓ π↓␈ε∧j␈ε_>␈ε∧m␈↓ πV␈ε∧i
␈βε!␈↓ ↓H␈ε_Then␈↓ α.␈ε∧y␈↓ αr␈ε_converges␈α⊃weakly␈α⊃to␈α⊃a␈α⊃point␈α⊃of␈ε∧␈α"F␈ε_␈α⊃.
␈βε2␈↓ α?␈ε∧k
␈βππ␈↓ α≥␈ε∧Proof␈α⊃of␈α⊃Lemma␈α⊃1.␈α"Since␈α"{␈↓ ¬h␈ε∧y␈↓ ε
␈ε∧}␈α"is␈α⊃bounded,␈α⊃it␈α⊃suffices␈α⊃to␈α⊃show␈α⊃that␈α⊃if␈α"f
␈βπ_␈↓ ¬y␈ε∧k
␈βπK␈↓ ↓H␈ε∧and␈α"g␈α"in␈α"F␈α"are␈α⊃weak␈α⊃limits␈α⊃of␈α⊃infinite␈α⊃subsequences␈α⊃of␈α"{␈↓ 	U␈ε∧y␈↓ 	w␈ε∧}␈α⊃,␈α⊃then␈α"f␈α⊃=␈α⊃g␈α⊃.
␈βπ\␈↓ 	f␈ε∧k
␈βλ∂␈↓ ↓H␈ε∧For␈α⊃each␈α"f␈α⊃,
␈βλd␈↓ ∧R␈ε∧2␈↓ ε≡␈ε∧2␈↓ πY␈ε∧2
␈βλu␈↓ βJ␈ε∧|␈↓ β[␈ε∧x␈↓ ∧∞␈ε∧-␈α⊃f␈↓ ∧A␈ε∧|␈↓ ∧t␈ε∧=␈α⊃|␈↓ ¬'␈ε∧x␈↓ ¬Z␈ε∧-␈α⊃g␈↓ ε
␈ε∧|␈↓ ε@␈ε∧+␈α⊃|g␈α⊃-␈α⊃f␈↓ πH␈ε∧|␈↓ π{␈ε∧+␈α⊃2(␈↓ λ?␈ε∧x␈↓ λr␈ε∧-␈α⊃g,␈α⊃g␈α⊃-␈α⊃f).
␈β	ε␈↓ βl␈ε∧j␈↓ ¬8␈ε∧j␈↓ λP␈ε∧j
␈β	[␈↓ ↓H␈ε∧For␈α⊃a␈α⊃given␈↓ β%␈ε∧"epsilon"␈↓ ∧O␈ε∧>␈α⊃0␈α⊃,␈α⊃there␈α⊃exists␈α"m(␈↓ πE␈ε∧"epsilon"␈↓ λ↑␈ε∧)␈α"such␈α⊃that␈α⊃for
␈β
∨␈↓ ↓Y␈ε∧j␈ε_␈α⊃>␈ε∧␈α⊃m(␈↓ α?␈ε∧"epsilon"␈↓ βX␈ε∧)␈α⊃,
␈β
t␈↓ ∧Z␈ε∧2␈↓ 	>␈ε∧2
␈β¬␈↓ αJ␈ε∧|p(g)␈α⊃-␈α⊃|␈↓ βc␈ε∧x␈↓ ∧⊗␈ε∧-␈α⊃g␈↓ ∧I␈ε∧|␈↓ ∧k␈ε∧|␈α⊃<␈↓ ¬/␈ε∧"epsilon"␈↓ εH␈ε∧;␈↓ π.|p(f)␈α⊃-␈α⊃|␈↓ λG␈ε∧x␈↓ λz␈ε∧-␈α⊃f␈↓ 	-␈ε∧|␈↓ 	O␈ε∧|␈α⊃<␈↓ 
∪␈ε∧"epsilon"␈↓ ,␈ε∧.
␈β⊗␈↓ βt␈ε∧j␈↓ λX␈ε∧j
␈βk␈↓ ↓H␈ε∧Let␈↓ α≥␈ε∧K␈↓ βi␈ε∧be␈α⊃the␈α⊃convex␈α⊃set␈α⊃of␈α⊃all␈α"u␈α"such␈α⊃that
␈β|␈↓ α.␈ε∧"epsilon"
␈β@␈↓ λP␈ε∧2
␈βQ␈↓ β(␈ε∧|2(u␈α⊃-␈α⊃g,␈α⊃g␈α⊃-␈α⊃f)␈α⊃+␈α⊃p(g)␈α⊃-␈α⊃p(f)␈α⊃+␈α⊃|g␈α⊃-␈α⊃f␈↓ λ?␈ε∧|␈↓ λa␈ε∧|␈ε_␈α⊃<␈ε∧␈α⊃2␈↓ 	6␈ε∧"epsilon"␈↓ 
O␈ε∧.
␈β
7␈↓ ↓H␈ε∧Since␈↓ α?␈ε∧K␈↓ ∧␈ε∧contains␈↓ ¬5␈ε∧"union"␈↓ λ~␈ε∧{␈↓ λ+␈ε∧x␈↓ λM␈ε∧}␈α⊃,␈α⊃it␈α⊃contains
␈β
H␈↓ αP␈ε∧"epsilon"␈↓ ε,␈ε∧j␈ε_>␈ε∧m(␈↓ εp␈ε∧"epsilon"␈↓ λ	␈ε∧)␈↓ λ<␈ε∧j
␈β
{␈↓ ↓Y␈ε∧C␈↓ βG␈ε∧.␈α"There␈α⊃exists␈↓ ¬h␈ε∧k␈↓ π4␈ε∧such␈α⊃that␈α⊃for␈α"k␈ε_␈α⊃>␈↓ 	w␈ε∧k
␈β∞␈↓ ↓j␈ε∧m(␈↓ α␈ε∧"epsilon"␈↓ β%␈ε∧)␈↓ ¬y␈ε∧"epsilon"␈↓ 
λ␈ε∧"epsilon"
␈β∞?␈↓ ↓H␈ε∧we␈α⊃can␈α⊃find␈↓ β%␈ε∧u␈↓ βi␈ε∧in␈↓ ∧-␈ε∧C␈↓ ε,␈ε∧such␈α⊃that␈α"|␈↓ πx␈ε∧y␈↓ λ+␈ε∧-␈↓ λM␈ε∧u␈↓ λo␈ε∧|␈ε_␈α⊃<␈↓ 	3␈ε∧"epsilon"␈↓ 
]␈ε∧.␈α"For
␈β∞P␈↓ β6␈ε∧k␈↓ ∧>␈ε∧m(␈↓ ∧`␈ε∧"epsilon"␈↓ ¬y␈ε∧)␈↓ λ	␈ε∧k␈↓ λ↑␈ε∧k
␈β∂<␈↓ εj␈ε∧-2-
␈β⊃ 

␈β↓M␈↓ ↓H␈ε∧Br␈↓ ↓j␈ε∧'␈↓ ↓j␈ε∧ezis␈α⊃and␈α⊃Browder:␈α⊃Nonlinear␈α⊃ergodic␈α⊃theorems
␈βαS␈↓ ↓Y␈ε∧k␈ε_␈α⊃>␈↓ α≥␈ε∧k␈↓ βX␈ε∧,␈α⊃it␈α⊃follows␈α⊃that
␈βαd␈↓ α.␈ε∧"epsilon"
␈ββ(␈↓ π.␈ε∧2
␈ββ9␈↓ ↓u␈ε∧|2(␈↓ α(␈ε∧y␈↓ α[␈ε∧-␈α⊃g,␈α⊃g␈α⊃-␈α⊃f)␈α⊃+␈α⊃p(g)␈α⊃-␈α⊃p(f)␈α⊃+␈α⊃|g␈α⊃-␈α⊃f␈↓ π≥␈ε∧|␈↓ π?␈ε∧|␈ε_␈α⊃<␈ε∧␈α⊃2␈↓ λ∀␈ε∧"epsilon"␈↓ 	>␈ε∧+␈α⊃2␈↓ 	q␈ε∧"epsilon"␈↓ 
␈ε∧|g␈α⊃-␈α⊃f|.
␈ββJ␈↓ α9␈ε∧k
␈β∧∨␈↓ ↓H␈ε∧Consider␈α⊃an␈α⊃infinite␈α⊃subsequence␈α"{␈↓ ε≠␈ε∧y␈↓ εN␈ε∧}␈α"for␈α⊃which␈α"(␈↓ λM␈ε∧y␈↓ 	⊃␈ε∧-␈α⊃g,␈α⊃g␈α⊃-␈α⊃f)␈↓ 
]␈ε∧->␈↓ ⊂␈ε∧0␈α⊃.␈α"In
␈β∧0␈↓ ε,␈ε∧k␈↓ λ↑␈ε∧k
␈β∧A␈↓ ε=␈ε∧s␈↓ λo␈ε∧s
␈β∧c␈↓ ↓H␈ε∧the␈α⊃limit
␈β¬8␈↓ ε
␈ε∧2
␈β¬I␈↓ β↔␈ε∧|p(g)␈α⊃-␈α⊃p(f)␈α⊃+␈α⊃|g␈α⊃-␈α⊃f␈↓ ¬|␈ε∧|␈↓ ε≡␈ε∧|␈ε_␈α⊃<␈ε∧␈α⊃2␈↓ εs␈ε∧"epsilon"␈↓ λ≥␈ε∧+␈α⊃2␈↓ λP␈ε∧"epsilon"␈↓ 	i␈ε∧|g␈α⊃-␈α⊃f|.
␈βε≡␈↓ 
;␈ε∧2
␈βε/␈↓ ↓H␈ε∧Since␈↓ α?␈ε∧"epsilon"␈↓ βi␈ε∧>␈α⊃0␈α"is␈α⊃arbitrary,␈α⊃it␈α⊃follows␈α⊃that␈α"p(g)␈α⊃+␈α⊃|g␈α⊃-␈α⊃f␈↓ 
*␈ε∧|␈↓ 
]␈ε∧=␈α⊃p(f)␈α⊃.␈α"By
␈βεb␈↓ ∧q␈ε∧2␈↓ λ<␈ε∧2
␈βεs␈↓ ↓H␈ε∧symmetry,␈α"p(f)␈α⊃+␈α⊃|g␈α⊃-␈α⊃f␈↓ ∧`␈ε∧|␈↓ ¬∪␈ε∧=␈α⊃p(g)␈α⊃.␈α"Hence,␈α"|f␈α⊃-␈α⊃g␈↓ λ+␈ε∧|␈↓ λ↑␈ε∧=␈α⊃0␈α⊃,␈α3f␈α⊃=␈α⊃g␈α⊃.␈↓ 
␈␈ε∧QED
␈βπP␈↓ α≥␈ε∧Proof␈α⊃of␈α⊃Theorem␈α⊃1.␈α"We␈α⊃apply␈α⊃Lemma␈α⊃1␈α⊃with␈α"F␈α"the␈α⊃fixed␈α⊃point␈α⊃set␈α⊃of
␈βλβ␈↓ ∧≤␈ε∧k␈↓ 
→␈ε∧2
␈βλ∀␈↓ ↓Y␈ε∧T␈α"in␈α"C␈α⊃,␈↓ β6␈ε∧x␈↓ βi␈ε∧=␈↓ ∧␈ε∧T␈↓ ∧-␈ε∧x␈α⊃,␈↓ ¬α␈ε∧y␈↓ ¬5␈ε∧=␈↓ ¬W␈ε∧"sum"␈↓ εp␈ε∧a␈↓ π4␈ε∧x␈↓ πg␈ε∧.␈α"Since␈α"|␈↓ 	"␈ε∧x␈↓ 	U␈ε∧-␈α⊃f␈↓ 
λ␈ε∧|␈↓ 
L␈ε∧decreases
␈βλ%␈↓ βG␈ε∧k␈↓ ¬∪␈ε∧n␈↓ ε,␈ε∧k␈ε_>␈ε∧0␈↓ π↓␈ε∧n,k␈↓ πE␈ε∧k␈↓ 	3␈ε∧j
␈βλX␈↓ ↓H␈ε∧with␈α"j␈α⊃,␈α⊃it␈α⊃converges␈α⊃to␈α"p(f)␈α⊃<␈α⊃+␈↓ ε≠␈ε∧00␈↓ εN␈ε∧.␈α"Since␈↓ πx␈ε∧a␈↓ λM␈ε∧->␈↓ 	␈ε∧0␈α"as␈α"n␈↓ 
→␈ε∧->␈↓ 
L␈ε∧00␈↓ 
␈␈ε∧,
␈βλi␈↓ λ	␈ε∧n,k
␈β	≤␈↓ ↓Y␈ε∧dist␈↓ α≥␈ε∧(␈↓ α.␈ε∧y␈↓ αP␈ε∧,␈↓ αr␈ε∧C␈↓ β∀␈ε∧)␈↓ β6␈ε∧->␈↓ βi␈ε∧0␈α3(n␈↓ ∧`␈ε∧->␈↓ ¬∪␈ε∧+␈↓ ¬$␈ε∧00␈↓ ¬F␈ε∧)␈α⊃.␈α"To␈α⊃show␈α⊃that␈α⊃(c)␈α⊃holds,␈α⊃it␈α⊃suffices␈α⊃to␈α⊃prove
␈β	-␈↓ α?␈ε∧n␈↓ ββ␈ε∧m
␈β	`␈↓ ↓H␈ε∧that␈α"|␈↓ α?␈ε∧y␈↓ αr␈ε∧-␈α⊃T␈↓ β%␈ε∧y␈↓ βG␈ε∧|␈↓ βi␈ε∧->␈↓ ∧≤␈ε∧0␈α"as␈α"n␈↓ ¬5␈ε∧->␈↓ ¬h␈ε∧+␈↓ ¬y␈ε∧00␈↓ ε,␈ε∧.␈α"For␈α⊃any␈α"u␈α"in␈α"H␈α⊃,
␈β	q␈↓ αP␈ε∧n␈↓ β6␈ε∧n
␈β9␈↓ ε≠␈ε∧2␈↓ πg␈ε∧2␈↓ 	D␈ε∧2
␈βJ␈↓ ↓H␈ε∧Since␈α"2(␈↓ αa␈ε∧x␈↓ β∀␈ε∧-␈α⊃u,␈↓ βi␈ε∧x␈↓ ∧≤␈ε∧-␈α⊃u)␈α⊃=␈α⊃|␈↓ ¬$␈ε∧x␈↓ ¬W␈ε∧-␈α⊃u␈↓ ε
␈ε∧|␈↓ ε=␈ε∧+␈α⊃|␈↓ εp␈ε∧x␈↓ π#␈ε∧-␈α⊃u␈↓ πV␈ε∧|␈↓ λ	␈ε∧-␈α⊃|␈↓ λ<␈ε∧x␈↓ λo␈ε∧-␈↓ 	⊃␈ε∧x␈↓ 	3␈ε∧|␈↓ 	f␈ε∧,
␈β[␈↓ αr␈ε∧j␈↓ βz␈ε∧k␈↓ ¬5␈ε∧j␈↓ π↓␈ε∧k␈↓ λM␈ε∧j␈↓ 	"␈ε∧k
␈β
∨␈↓ ¬I␈ε∧2␈↓ λa␈ε∧2
␈β
0␈↓ ∧0␈ε∧2|␈↓ ∧R␈ε∧y␈↓ ¬¬␈ε∧-␈α⊃u␈↓ ¬8␈ε∧|␈↓ ¬k␈ε∧=␈α⊃2␈↓ ε/␈ε∧"sum"␈↓ π∃␈ε∧a␈↓ πY␈ε∧|␈↓ πj␈ε∧x␈↓ λ≥␈ε∧-␈α⊃u␈↓ λP␈ε∧|␈↓ 	β␈ε∧-␈↓ 	%␈ε∧r␈↓ 	G␈ε∧,
␈β
A␈↓ ∧c␈ε∧n␈↓ π&␈ε∧n,k␈↓ π{␈ε∧k␈↓ 	6␈ε∧n
␈β
X␈↓ ε@␈ε∧k␈ε_>␈ε∧0
␈β∂<␈↓ εj␈ε∧-3-
␈β⊃ 

␈β↓M␈↓ ↓H␈ε∧Br␈↓ ↓j␈ε∧'␈↓ ↓j␈ε∧ezis␈α⊃and␈α⊃Browder:␈α⊃Nonlinear␈α⊃ergodic␈α⊃theorems
␈βαS␈↓ εp␈ε∧2
␈βαd␈↓ ↓H␈ε∧where␈↓ α?␈ε∧r␈↓ αr␈ε∧=␈↓ β∀␈ε∧"sum"␈↓ ∧O␈ε∧a␈↓ ¬∪␈ε∧a␈↓ ¬W␈ε∧|␈↓ ¬h␈ε∧x␈↓ ε≠␈ε∧-␈↓ ε=␈ε∧x␈↓ ε←␈ε∧|␈↓ π∩␈ε∧.␈α"If␈α⊃we␈α⊃choose␈α"u␈α⊃=␈↓ 	w␈ε∧y␈↓ 
*␈ε∧,␈α⊃then
␈βαu␈↓ αP␈ε∧n␈↓ βi␈ε∧j,k␈ε_>␈ε∧0␈↓ ∧`␈ε∧n,j␈↓ ¬$␈ε∧n,k␈↓ ¬y␈ε∧j␈↓ εN␈ε∧k␈↓ 
λ␈ε∧n
␈ββ9␈↓ λP␈ε∧2
␈ββJ␈↓ ¬⊗␈ε∧r␈↓ ¬I␈ε∧=␈α⊃2␈↓ ε
␈ε∧"sum"␈↓ εs␈ε∧a␈↓ π7␈ε∧|␈↓ πH␈ε∧x␈↓ π{␈ε∧-␈↓ λ≥␈ε∧y␈↓ λ?␈ε∧|␈↓ λa␈ε∧.
␈ββ[␈↓ ¬'␈ε∧n␈↓ π∧␈ε∧n,k␈↓ πY␈ε∧k␈↓ λ.␈ε∧n
␈ββr␈↓ ε≡␈ε∧k␈ε_>␈ε∧0
␈β∧K␈↓ ↓H␈ε∧If␈α⊃we␈α⊃set␈α"u␈α⊃=␈α⊃T␈↓ βX␈ε∧y␈↓ ∧␈ε∧,␈α⊃we␈α⊃find␈α⊃that
␈β∧\␈↓ βi␈ε∧n
␈β	>␈↓ ↓H␈ε∧Definition␈α⊃1.␈↓ ↓I␈ε∧Definition␈α⊃1.
␈β	?␈↓ ↓H␈ε∧Definition␈α⊃1.␈α"The␈α⊃array␈α"{␈↓ ↓I␈ε∧Definition␈α⊃1.␈↓ ¬∪␈ε∧a␈↓ ¬W␈ε∧}␈α"is␈α⊃said␈α⊃to␈α⊃be␈ε_␈α⊃proper␈ε∧␈α⊃if␈α⊃for␈α⊃each
␈β	P␈↓ ¬$␈ε∧n,k
␈β	r␈↓ ↓j␈ε∧00
␈β
β␈↓ ↓Y␈ε∧l␈↓ α≥␈ε∧-element␈α"{␈↓ βX␈ε∧"beta"␈↓ ∧>␈ε∧(k)}␈α"such␈α⊃that␈↓ ε←␈ε∧"sum"␈↓ πV␈ε∧a␈↓ λ~␈ε∧"beta"␈↓ 	␈ε∧(k)␈↓ 	D␈ε∧->␈↓ 	w␈ε∧"delta"␈↓ 
␈␈ε∧,␈α⊃then
␈β
∀␈↓ π4␈ε∧k␈↓ πg␈ε∧n,k
␈β
G␈↓ ↓Y␈ε∧"sum"␈↓ αr␈ε∧a␈↓ β6␈ε∧a␈↓ βz␈ε∧"beta"␈↓ ∧`␈ε∧(|k␈α⊃-␈α⊃l|)␈↓ ε
␈ε∧->␈↓ ε=␈ε∧"delta"␈↓ πE␈ε∧.
␈β
X␈↓ α.␈ε∧k,l␈↓ ββ␈ε∧n,k␈↓ βG␈ε∧n,l
␈β␈↓ α≥␈ε∧Ces␈↓ αP␈ε∧'␈↓ αP␈ε∧aro␈α⊃means␈α⊃are␈α⊃proper␈α⊃in␈α⊃this␈α⊃sense,␈α⊃as␈α⊃we␈α⊃can␈α⊃see␈α⊃from␈α⊃a␈α⊃simple
␈βO␈↓ ↓H␈ε∧computation,␈α⊃as␈α⊃are␈α⊃other␈α⊃familiar␈α⊃summation␈α⊃methods.
␈β4␈↓ ↓H␈ε∧Theorem␈α⊃2.␈↓ ↓I␈ε∧Theorem␈α⊃2.
␈β5␈↓ ↓H␈ε∧Theorem␈α⊃2.␈ε_␈α"Suppose␈α⊃in␈α⊃Theorem␈α⊃1␈α⊃that␈ε∧␈α"0␈↓ ↓I␈ε∧Theorem␈α⊃2.␈↓ π↓␈ε∧"in"␈↓ πV␈ε∧C␈ε_␈α⊃,␈ε∧␈α3T(0)␈α⊃=␈α⊃0␈ε_␈α"and␈α⊃that␈α⊃for␈α⊃some
␈βy␈↓ ↓Y␈ε∧c␈ε_␈α⊃>␈ε∧␈α⊃0␈ε_␈α⊃,␈ε∧␈α3T␈ε_␈α"satisfies␈α⊃for␈α⊃all␈ε∧␈α"u␈ε_␈α⊃,␈ε∧␈α"v␈ε_␈α"the␈α⊃inequality
␈β
N␈↓ ∧I␈ε∧2␈↓ ε∧␈ε∧2␈↓ π≥␈ε∧2␈↓ λ%␈ε∧2␈↓ 	≤␈ε∧2␈↓ 
$␈ε∧2
␈β
←␈↓ β0␈ε∧|Tu␈α⊃+␈α⊃Tv␈↓ ∧8␈ε∧|␈↓ ∧k␈ε_<␈ε∧␈α⊃|u␈α⊃+␈α⊃v␈↓ ¬s␈ε∧|␈↓ ε&␈ε∧+␈α⊃c{|u␈↓ π␈ε∧|␈↓ π?␈ε∧-␈α⊃|Tu␈↓ λ∀␈ε∧|␈↓ λG␈ε∧+␈α⊃|v␈↓ 	␈ε∧|␈↓ 	>␈ε∧-␈α⊃|Tv␈↓ 
∪␈ε∧|␈↓ 
5␈ε∧}.␈↓ 
␈ε∧(i)
␈β∂<␈↓ εj␈ε∧-4-
␈β⊃ 

␈β↓M␈↓ ↓H␈ε∧Br␈↓ ↓j␈ε∧'␈↓ ↓j␈ε∧ezis␈α⊃and␈α⊃Browder:␈α⊃Nonlinear␈α⊃ergodic␈α⊃theorems
␈βαS␈↓ ↓H␈ε_Suppose␈α⊃that␈ε∧␈α"{␈↓ βG␈ε∧a␈↓ ∧␈ε∧}␈ε_␈α"is␈α⊃proper␈α⊃in␈α⊃the␈α⊃sense␈α⊃of␈α⊃Definition␈α⊃1␈α⊃and␈α⊃that
␈βαd␈↓ βX␈ε∧n,k
␈ββ9␈↓ ∧'␈ε∧"sum"␈↓ ¬
␈ε∧|␈↓ ¬≡␈ε∧a␈↓ ε∃␈ε∧-␈↓ ε7␈ε∧a␈↓ ε{␈ε∧|␈↓ π≥␈ε∧->␈↓ πP␈ε∧0␈↓ λ%(n␈↓ λX␈ε∧->␈↓ 	␈ε∧+␈↓ 	≤␈ε∧00␈↓ 	>␈ε∧).
␈ββJ␈↓ ¬/␈ε∧n,k+1␈↓ εH␈ε∧n,k
␈ββa␈↓ ∧8␈ε∧k␈ε_>␈ε∧0
␈β∧:␈↓ ↓H␈ε_Then␈↓ α.␈ε∧A␈↓ αP␈ε∧(x)␈ε_␈α"converges␈α⊃strongly.
␈β∧K␈↓ α?␈ε∧n
␈β¬ ␈↓ α≥␈ε∧Obviously␈α⊃(i)␈α⊃will␈α⊃hold␈α⊃with␈α"c␈α⊃=␈α⊃0␈α"if␈α"C␈α⊃=␈α⊃-C␈α"and␈α"T␈α"is␈α⊃odd.
␈βε¬␈↓ ↓H␈ε∧Lemma␈α⊃2.␈↓ ↓I␈ε∧Lemma␈α⊃2.
␈βεε␈↓ ↓H␈ε∧Lemma␈α⊃2.␈ε_␈α"Let␈ε∧␈α"{␈↓ ↓I␈ε∧Lemma␈α⊃2.␈↓ βX␈ε∧x␈↓ βz␈ε∧}␈ε_␈α"be␈α⊃a␈α⊃bounded␈α⊃infinite␈α⊃sequence␈α⊃in␈ε∧␈α"H␈ε_␈α⊃,␈ε∧␈α3|␈↓ 	w␈ε∧x␈↓ 
→␈ε∧|␈ε_␈α⊃<␈↓ 
]␈ε∧d␈↓ ⊂␈ε_,
␈βε↔␈↓ βi␈ε∧j␈↓ 
λ␈ε∧j␈↓ 
n␈ε∧0
␈βεJ␈↓ ↓Y␈ε∧y␈↓ α␈ε∧=␈↓ α.␈ε∧"sum"␈↓ βG␈ε∧a␈↓ ∧␈ε∧x␈↓ ∧O␈ε_where␈ε∧␈α"{␈↓ ¬W␈ε∧a␈↓ ε≠␈ε∧}␈ε_␈α"is␈α⊃an␈α⊃array␈α⊃as␈α⊃in␈α⊃the␈α⊃hypothesis␈α⊃of␈α⊃Theorem
␈βε[␈↓ ↓j␈ε∧n␈↓ ββ␈ε∧k␈ε_>␈ε∧0␈↓ βX␈ε∧n,k␈↓ ∧≤␈ε∧k␈↓ ¬h␈ε∧n,k
␈βπ∞␈↓ ↓H␈ε_2.␈α"Suppose␈α⊃that␈↓ βz␈ε∧y␈↓ ∧>␈ε_converges␈α⊃weakly␈α⊃to␈ε∧␈α"y␈ε_␈α"and␈α⊃that␈ε∧␈α"(␈↓ 	⊃␈ε∧x␈↓ 	3␈ε∧,␈↓ 	U␈ε∧x␈↓ 
→␈ε∧)␈ε_␈α"converges␈α⊃to
␈βπ∨␈↓ ∧␈ε∧k␈↓ 	"␈ε∧j␈↓ 	f␈ε∧j+k
␈βπR␈↓ ↓Y␈ε∧q(k)␈ε_␈α"as␈ε∧␈α"j␈↓ β%␈ε∧->␈↓ βX␈ε∧+␈↓ βi␈ε∧00␈↓ ∧≤␈ε_,␈α⊃uniformly␈α⊃in␈ε∧␈α"k␈ε_␈α⊃.␈α"Then␈↓ πg␈ε∧y␈↓ λ+␈ε_converges␈α⊃strongly␈α⊃to␈ε∧␈α"y␈ε_␈α⊃.
␈βπc␈↓ πx␈ε∧n
␈βλ'␈↓ 
L␈ε∧2
␈βλ8␈↓ α≥␈ε∧Proof␈α⊃of␈α⊃Lemma␈α⊃2.␈α"We␈α⊃first␈α⊃show␈α⊃that␈↓ π4␈ε∧"sum"␈↓ λM␈ε∧a␈↓ 	⊃␈ε∧q(k)␈↓ 	f␈ε∧->␈↓ 
→␈ε∧|y␈↓ 
;␈ε∧|␈↓ 
n␈ε∧.␈α"Let
␈βλI␈↓ λ	␈ε∧k␈ε_>␈ε∧0␈↓ λ↑␈ε∧n,k
␈βλ|␈↓ ↓Y␈ε∧"epsilon"␈↓ ββ␈ε∧>␈α⊃0␈α"be␈α⊃given.␈α"We␈α⊃may␈α⊃find␈α"j(␈↓ π∩␈ε∧"epsilon"␈↓ λ+␈ε∧)␈α"such␈α⊃that␈α⊃for
␈β	@␈↓ ↓Y␈ε∧j␈ε_␈α⊃>␈ε∧␈α⊃j(␈↓ α?␈ε∧"epsilon"␈↓ βX␈ε∧)␈α"and␈α⊃all␈α"k␈α⊃,␈α3|(␈↓ ε,␈ε∧x␈↓ εN␈ε∧,␈↓ εp␈ε∧x␈↓ π4␈ε∧)␈α⊃-␈α⊃q(k)|␈α⊃<␈↓ 	␈ε∧"epsilon"␈↓ 
*␈ε∧.␈α"We␈α⊃note␈α⊃that
␈β	Q␈↓ ε=␈ε∧j␈↓ π↓␈ε∧j+k
␈β*␈↓ ↓H␈ε∧If␈α⊃we␈α⊃choose␈α"j␈ε_␈α⊃>␈ε∧␈α⊃j(␈↓ ∧≤␈ε∧"epsilon"␈↓ ¬5␈ε∧)␈α"and␈α⊃then␈α"n␈ε_␈α⊃>␈ε∧␈α⊃n(␈↓ πx␈ε∧"epsilon"␈↓ 	⊃␈ε∧,␈α⊃j)␈α⊃,␈α⊃it␈α⊃follows
␈βn␈↓ ↓H␈ε∧that␈α⊃we␈α⊃can␈α⊃make␈α"|(␈↓ ∧≤␈ε∧x␈↓ ∧>␈ε∧,␈α⊃y)␈α⊃-␈↓ ¬5␈ε∧"sum"␈↓ εN␈ε∧a␈↓ π∩␈ε∧q(k)|␈α⊃<␈α⊃2␈↓ λ+␈ε∧"epsilon"␈↓ 	U␈ε∧.␈α"Hence␈α⊃for
␈β␈␈↓ ∧-␈ε∧j␈↓ ε
␈ε∧k␈ε_>␈ε∧0␈↓ ε←␈ε∧n,k
␈β
2␈↓ ↓Y␈ε∧j,␈↓ α␈ε∧j␈↓ α?␈ε_>␈ε∧␈α⊃j(␈↓ ββ␈ε∧"epsilon"␈↓ ∧≤␈ε∧)␈α⊃,␈α3|(␈↓ ¬$␈ε∧x␈↓ ¬F␈ε∧,␈α⊃y)␈α⊃-␈α⊃(␈↓ εN␈ε∧x␈↓ π↓␈ε∧,␈α⊃y)␈α⊃<␈α⊃4␈↓ λ	␈ε∧"epsilon"␈↓ 	3␈ε∧.␈α"Thus␈α"(␈↓ 
]␈ε∧x␈↓ 
␈␈ε∧,␈α⊃y)
␈β
C␈↓ α≥␈ε∧1␈↓ ¬5␈ε∧j␈↓ ε←␈ε∧j␈↓ 
n␈ε∧j
␈β
T␈↓ εp␈ε∧1
␈β
v␈↓ ↓H␈ε∧converges␈α⊃as␈α"j␈↓ βX␈ε∧->␈↓ ∧␈ε∧00␈↓ ∧>␈ε∧,␈α⊃and␈α⊃since␈↓ ε≠␈ε∧"sum"␈↓ π4␈ε∧a␈↓ πx␈ε∧(␈↓ λ	␈ε∧x␈↓ λ+␈ε∧,␈α⊃y)␈α⊃=␈α⊃(␈↓ 	3␈ε∧y␈↓ 	U␈ε∧,␈α⊃y)␈α"must␈α⊃converge
␈β∞π␈↓ εp␈ε∧j␈ε_>␈ε∧0␈↓ πE␈ε∧n,j␈↓ λ~␈ε∧j␈↓ 	D␈ε∧n
␈β∞)␈↓ ε
␈ε∧2
␈β∞:␈↓ ↓H␈ε∧to␈α⊃the␈α⊃same␈α⊃limit,␈α"(␈↓ ∧-␈ε∧x␈↓ ∧O␈ε∧,␈α⊃y)␈↓ ¬$␈ε∧->␈↓ ¬W␈ε∧|y␈↓ ¬y␈ε∧|␈↓ ε,␈ε∧.␈α"Thus␈α⊃for␈α⊃a␈α⊃large␈α⊃choice␈α⊃of␈α"j␈α"and
␈β∞K␈↓ ∧>␈ε∧j
␈β∂<␈↓ εj␈ε∧-5-
␈β⊃ 

␈β↓M␈↓ ↓H␈ε∧Br␈↓ ↓j␈ε∧'␈↓ ↓j␈ε∧ezis␈α⊃and␈α⊃Browder:␈α⊃Nonlinear␈α⊃ergodic␈α⊃theorems
␈βαS␈↓ ↓Y␈ε∧n␈ε_␈α⊃>␈ε∧␈α⊃n(␈↓ α?␈ε∧"epsilon"␈↓ βX␈ε∧,␈α⊃j)␈α⊃,
␈β∧y␈↓ ¬W␈ε∧2
␈β¬
␈↓ ↓H␈ε∧i.e.,␈↓ α?␈ε∧"sum"␈↓ βX␈ε∧a␈↓ ∧≤␈ε∧q(k)␈↓ ∧q␈ε∧->␈↓ ¬$␈ε∧|y␈↓ ¬F␈ε∧|␈↓ ¬y␈ε∧.
␈β¬≠␈↓ β∀␈ε∧k␈ε_>␈ε∧0␈↓ βi␈ε∧n,k
␈β¬6␈↓ λ+␈ε∧___
␈β¬=␈↓ 	3␈ε∧2␈↓ 
*␈ε∧2
␈β¬N␈↓ α≥␈ε∧To␈α⊃prove␈α⊃the␈α⊃lemma,␈α⊃it␈α⊃suffices␈α⊃to␈α⊃show␈α⊃that␈↓ λ+␈ε∧lim␈↓ λo␈ε∧|␈↓ 	␈ε∧y␈↓ 	"␈ε∧|␈↓ 	U␈ε_<␈ε∧␈α⊃|y␈↓ 
→␈ε∧|␈↓ 
L␈ε∧.␈α"We
␈β¬←␈↓ 	⊃␈ε∧n
␈βε↓␈↓ αr␈ε∧2
␈βε∩␈↓ ↓H␈ε∧have␈α"|␈↓ α?␈ε∧y␈↓ αa␈ε∧|␈↓ β∀␈ε∧=␈↓ β6␈ε∧"sum"␈↓ ∧q␈ε∧a␈↓ ¬5␈ε∧a␈↓ ε
␈ε∧(␈↓ ε≠␈ε∧x␈↓ ε=␈ε∧,␈↓ ε←␈ε∧x␈↓ π↓␈ε∧)␈α⊃.␈α"From␈α⊃the␈α⊃assumption␈α⊃of␈α⊃Lemma␈α⊃2,
␈βε#␈↓ αP␈ε∧n␈↓ ∧␈ε∧k,l␈ε_>␈ε∧0␈↓ ¬α␈ε∧n,k␈↓ ¬F␈ε∧n,l␈↓ ε,␈ε∧k␈↓ εp␈ε∧l
␈βεV␈↓ ↓H␈ε∧we␈α⊃have␈α"|(␈↓ ββ␈ε∧x␈↓ β%␈ε∧,␈↓ βG␈ε∧x␈↓ βi␈ε∧)␈α⊃-␈α⊃q(|k␈α⊃-␈α⊃l|)|␈α⊃<␈↓ ε≠␈ε∧"epsilon"␈↓ λ↑␈ε∧where␈↓ 	U␈ε∧"epsilon"␈↓ ⊂␈ε∧->␈↓ C␈ε∧0␈α"as
␈βεg␈↓ β∀␈ε∧k␈↓ βX␈ε∧l␈↓ π4␈ε∧min␈↓ πg␈ε∧(k,l)␈↓ 
n␈ε∧p
␈βπ~␈↓ ↓Y␈ε∧p␈↓ ↓{␈ε∧->␈↓ α.␈ε∧00␈↓ αa␈ε∧.␈α"Therefore
␈βπ↑␈↓ αu␈ε∧2
␈βπo␈↓ α1␈ε∧|␈↓ αB␈ε∧y␈↓ αd␈ε∧|␈↓ β9␈ε_<␈↓ β[␈ε∧"sum"␈↓ ∧A␈ε∧a␈↓ ¬¬␈ε∧a␈↓ ¬Z␈ε∧q(|k␈α⊃-␈α⊃l|)␈α⊃+␈↓ π7␈ε∧"sum"␈↓ λ≥␈ε∧a␈↓ λa␈ε∧a␈↓ 	6␈ε∧"epsilon"
␈βλ␈↓ αS␈ε∧n␈↓ ∧R␈ε∧n,k␈↓ ¬⊗␈ε∧n,l␈↓ λ.␈ε∧n,k␈↓ λr␈ε∧n,l␈↓ 
O␈ε∧min␈↓ α␈ε∧(k,l)
␈βλ↔␈↓ β[␈ε∧k,l␈ε_>␈ε∧0␈↓ π7␈ε∧k,l␈ε_>␈ε∧0
␈βλN␈↓ β9␈ε_<␈↓ β[␈ε∧"sum"␈↓ ∧A␈ε∧a␈↓ ¬¬␈ε∧a␈↓ ¬Z␈ε∧q(|k␈α⊃-␈α⊃l|)␈α⊃+␈α⊃2␈↓ πY␈ε∧"sum"␈↓ λ?␈ε∧a␈↓ 	β␈ε∧"epsilon"␈↓ 
-␈ε∧.
␈βλ←␈↓ ∧R␈ε∧n,k␈↓ ¬⊗␈ε∧n,l␈↓ λP␈ε∧n,k␈↓ 
≤␈ε∧k
␈βλv␈↓ β[␈ε∧k,l␈ε_>␈ε∧0␈↓ πj␈ε∧k␈ε_>␈ε∧0
␈β	I␈↓ π↓␈ε∧___
␈β	P␈↓ λ	␈ε∧2␈↓ 	␈ε∧2
␈β	a␈↓ ↓H␈ε∧Since␈↓ α?␈ε∧a␈↓ β%␈ε∧is␈α⊃proper␈α⊃we␈α⊃conclude␈α⊃that␈↓ π↓␈ε∧lim␈↓ πE␈ε∧|␈↓ πV␈ε∧y␈↓ πx␈ε∧|␈↓ λ+␈ε_<␈ε∧␈α⊃|y␈↓ λo␈ε∧|␈↓ 	"␈ε∧.␈↓ 	U␈ε∧QED
␈β	r␈↓ αP␈ε∧n,k␈↓ πg␈ε∧n
␈β
>␈↓ α≥␈ε∧Proof␈α⊃of␈α⊃Theorem␈α⊃2.␈α"It␈α⊃follows␈α⊃from␈α⊃the␈α⊃inequality␈α⊃(i)␈α⊃that
␈β
q␈↓ πE␈ε∧2
␈βα␈↓ ↓Y␈ε∧|(␈↓ ↓{␈ε∧x␈↓ α?␈ε∧,␈↓ αa␈ε∧x␈↓ βG␈ε∧)␈α⊃-␈α⊃(␈↓ ∧≤␈ε∧x␈↓ ∧>␈ε∧,␈↓ ∧`␈ε∧x␈↓ ¬$␈ε∧)|␈ε_␈α⊃<␈ε∧␈α⊃(c␈α⊃+␈α⊃1){|␈↓ π∩␈ε∧x␈↓ π4␈ε∧|␈↓ πg␈ε∧-␈α⊃q(0)}␈↓ λo␈ε∧->␈↓ 	"␈ε∧0␈α"as␈α"j␈↓ 
;␈ε∧->␈↓ 
n␈ε∧+␈↓ 
␈␈ε∧00␈↓ 2␈ε∧.␈α"Hence
␈β∪␈↓ α␈ε∧j+s␈↓ αr␈ε∧j+k+s␈↓ ∧-␈ε∧j␈↓ ∧q␈ε∧j+k␈↓ π#␈ε∧j
␈βF␈↓ ↓H␈ε∧we␈α⊃may␈α⊃apply␈α⊃Lemma␈α⊃2␈α⊃to␈α⊃obtain␈α⊃Theorem␈α⊃2.␈↓ π#␈ε∧QED
␈βE␈↓ ↓H␈ε_References␈↓ ↓I␈ε_References
␈βF␈↓ ↓H␈ε_References␈↓ ↓I␈ε_References
␈β
M␈↓ ↓T␈ε∧1.␈↓ ↓U␈ε∧1.
␈β
N␈↓ ↓T␈ε∧1.␈↓ ↓U␈ε∧1.␈↓ α≥␈ε∧J-B.␈α⊃Baillon,␈α⊃"Un␈α⊃th␈↓ ∧q␈ε∧'␈↓ ∧q␈ε∧eor␈↓ ¬$␈ε∧'␈↓ ¬$␈ε∧eme␈α⊃de␈α⊃type␈α⊃ergodique␈α⊃pour␈α⊃les␈α⊃contractions␈α⊃non
␈β∞⊃␈↓ T␈ε∧280␈↓ U␈ε∧280
␈β∞∩␈↓ α≥␈ε∧lin␈↓ αP␈ε∧'␈↓ αP␈ε∧eaires␈α⊃dans␈α⊃un␈α⊃espace␈α⊃de␈α⊃Hilbert,"␈ε_␈α⊃C.␈α⊃R.␈α⊃Acad.␈α⊃Sci.␈α⊃Paris␈α⊃S␈↓ 
;␈ε_'␈↓ 
;␈ε_er.␈α"A-B␈↓ T␈ε∧280,␈↓ U␈ε∧280
␈β∞V␈↓ α≥␈ε∧no.␈α"22,␈α⊃Aii␈α⊃(1975),␈α⊃A1511--A1514.␈ε_␈α"MR␈α⊃51␈ε∧␈α⊃#11205.
␈β∂<␈↓ εj␈ε∧-6-
␈β⊃ 

␈β↓M␈↓ ↓H␈ε∧Br␈↓ ↓j␈ε∧'␈↓ ↓j␈ε∧ezis␈α⊃and␈α⊃Browder:␈α⊃Nonlinear␈α⊃ergodic␈α⊃theorems
␈βαS␈↓ ↓T␈ε∧2.␈↓ ↓U␈ε∧2.
␈βαT␈↓ ↓T␈ε∧2.␈↓ ↓U␈ε∧2.␈↓ α≥␈ε∧----,␈α⊃"Quelques␈α⊃propri␈↓ ¬∪␈ε∧'␈↓ ¬∪␈ε∧etes␈α⊃de␈α⊃convergence␈α⊃asymptotique␈α⊃pour␈α⊃les␈α⊃contractions
␈ββ_␈↓ α≥␈ε∧impaires,"␈ε_␈α⊃C.␈α⊃R.␈α⊃Acad.␈α⊃Sci.␈α⊃Paris␈ε∧,␈α⊃to␈α⊃appear.
␈ββ[␈↓ ↓T␈ε∧3.␈↓ ↓U␈ε∧3.
␈ββ\␈↓ ↓T␈ε∧3.␈↓ ↓U␈ε∧3.␈↓ α≥␈ε∧Z.␈α⊃Opial,␈α⊃"Weak␈α⊃convergence␈α⊃of␈α⊃the␈α⊃sequence␈α⊃of␈α⊃the␈α⊃successive␈α⊃approximations
␈β∧∨␈↓ !␈ε∧73␈↓ "␈ε∧73
␈β∧ ␈↓ α≥␈ε∧for␈α⊃nonexpansive␈α⊃mappings␈α⊃in␈α⊃Banach␈α⊃spaces,"␈ε_␈α⊃Bull.␈α⊃Amer.␈α⊃Math.␈α⊃Soc.␈↓ !␈ε∧73␈↓ "␈ε∧73
␈β∧d␈↓ α≥␈ε∧(1967),␈α⊃591--597.␈ε_␈α"MR␈α⊃35␈ε∧␈α⊃#2183.
␈β¬'␈↓ ↓T␈ε∧4.␈↓ ↓U␈ε∧4.
␈β¬(␈↓ ↓T␈ε∧4.␈↓ ↓U␈ε∧4.␈↓ α≥␈ε∧F.␈α⊃Hausdorff,␈ε_␈α⊃Set␈α⊃Theory␈ε∧,␈α⊃Chelsea,␈α⊃New␈α⊃York,␈α⊃1962.
␈β∂<␈↓ εj␈ε∧-7-
␈β⊃ /FONT#4=oldtyp[fnt,dek]=_"#'()+,-.0123456789:;<=>ABCDEFGHIJKLMNOPQRSTUWYZabcdefghijklmnopqrstuvwxyz{|}}/FONT#24=undtyp[fnt,dek]='(),-.1235<>ABCDEHLMNPRSTabcdefghiklmnopqrstuvwxyy